On a free group of transformations defined by an automaton
نویسندگان
چکیده
We prove that three automorphisms of the rooted binary tree defined by a certain 3-state automaton generate a free non-Abelian group
منابع مشابه
An automaton group: a computational case study
We introduce a two generated weakly branch contracting automaton group $G$ which is generated by a two state automaton on a three letter alphabet. Using its branch structure and the finiteness nature of a sequence of its factor groups we compute the order of some of these factors. Furthermore some algebraic properties of $G$ are detected .
متن کاملCloud modeling of quasi - order groups on general fuzzy automata
In this paper, first a simplified version of a general fuzzy automaton with a fixed c is defined and then a subepisode of a simplified version of a general fuzzy automaton with a constant c is defined and explained connected and strong connected them, and finally, a model of quasi-order hypergroup on general fuzzy automaton with constant c is presented and the relationships between them are rev...
متن کاملMyhill-Nerode Fuzzy Congruences Corresponding to a General Fuzzy Automata
Myhill-Nerode Theorem is regarded as a basic theorem in the theories of languages and automata and is used to prove the equivalence between automata and their languages. The significance of this theorem has stimulated researchers to develop that on different automata thus leading to optimizing computational models. In this article, we aim at developing the concept of congruence in general fuzzy...
متن کاملModeling the main and maximum subautomata of an active general fuzzy automaton
In this paper, subcategories with threshold c are examined from an active general fuzzy automaton and the generator from an active general fuzzy automaton is defined and the connections between them are examined. Then, under the main and maximum automata with threshold c, one of the active general fuzzy automata will be defined, and it will be proved that each active general fuzzy automaton can...
متن کاملGenerating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کامل